Revision: tlacontrib--devo--1.2--patch-18
Archive: jblack@inframix.com--2004
Creator: James Blackwell <jblack@merconline.com>
Date: Thu Feb  5 23:52:24 EST 2004
Standard-date: 2004-02-06 04:52:24 GMT
Modified-files: bash-complete/gen-tla-commands
New-patches: jblack@inframix.com--2004/tlacontrib--devo--1.2--patch-18
    mt@wmipf.in-berlin.de--2004/tlacontrib--wmipf--1.2--base-0
    mt@wmipf.in-berlin.de--2004/tlacontrib--wmipf--1.2--patch-1
Summary: deal with multiple help commands with gen-tla-commands (Teichgr?ber)
Keywords: 

deal with multiple help commands with gen-tla-commands (Teichgr?ber)

Patches applied:

 * mt@wmipf.in-berlin.de--2004/tlacontrib--wmipf--1.2--base-0
   tag of jblack@inframix.com--2004/tlacontrib--devo--1.2--patch-17

 * mt@wmipf.in-berlin.de--2004/tlacontrib--wmipf--1.2--patch-1
   gen-tla-commands: cope with commands occuring more than once in `tla help'

